minor fix for build.xml