[FIXED JENKINS-17668] Windows phing is broken, jenkins tries to execute phing.bat with php.exe