small changes to launcher scripts