[mkgmap-dev] Commit: r1126: Fix unvalued options that are read from a file.