Re: bug in mktime() normalization?