php.bat fix