Using time.mktime to replace strftime('%s') which is not supported on Win32