update build.xml for jenkins