changed the build.xml file to fix a bug