bug in mktime() normalization?