Use mktime for Python 3.2 compatibility