another build.xml tweak in discovery