some fixes to setup_ubuntu