[mkgmap-dev] DEM file options do not work