Fix up <sys/timex.h> a bit more for recent API changes.