Correctly attribute the mktime.c change to Paul Eggert