[mkgmap-dev] Commit r4557: Sorry, last minute change was not saved to file