Update build.xml to current jenkins-php version