Make .bat to be interpretable both by bash and cmd.exe