Fix to get the docs on the wiki (for running the Ant build.xml) working again.