another tweak to build.xml