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