added stop.sh (reverse of launch.sh)
bugfix for a race condition on non-bash shell