more options for pygmap3.py