It seems that mktime does what is required here. Certainly timegm() can

not be used because it is not available on all systems (most notably,
win32).