mktime: merge comment-quoting-style change from gnulib