Another build.xml tweak