[mkgmap-dev] different DEM file sizes from mkgmap and BuildDEMFile