build.xml small fix