fix mkgmap.py