Make Windows batch file PID file compatible