small fix in launch.bash