Make sure SimLauncher is used to launch the sim, see #142