build.xml update for jenkins