build.xml tweak