bugfix for build.xml