[mkgmap-dev] Commit r3826: revert accidential change in build.xml