Fix getsystime in util.py