tweaks to build.xml