Fix to build.xml