build.xml has been updated by Jim. The new version is copied to here.