Issue #4323: Update build.xml