Minor change to build.xml