small fix in build.xml