more tweaks to build.xml - ready for Jenkins deployment