Fixes to setup/turtlebot.bash