fixes to build.xml