Re: [mkgmap-dev] DEM file options do not work