minor alteration to build.xml