add a timestamp at the end of pygmap3.py