jenkins_integration: cleaning up bug in launch.sh