slight change to build.xml