some build.xml fixes