Tweak build.xml for jenkins running