Small fix in build.xml.