mktime: correct setting of REPLACE_MKTIME