[mkgmap-dev] Commit r3890: revert unintended change in build.xml