[mkgmap-dev] Commit r4393: Improvements for options--process-destination and --process-exits