minor modification in build.xml