bash-sh / Ubuntu fixes