Fix build.xml - it didn't actually work before!