update build.xml ant file for Jenkins