build.xml changes for #11