Ant/build.xml: Fix a comment in build.xml.