Fix build.xml for real this time