Re: [mkgmap-dev] Server error when downloading latest version of mkgmap