small change to GameLauncher