fix bug in build.xml