small tweak to build.xml