Minor changes to build.xml.