RE: bug in mktime() normalization?