[mkgmap-dev] Commit: r1932: gmapsupp size