bugfixes to ubuntu.sh