Batch file replacement for shell script launchers