Fix build.xml so Jenkins is happy again