SQUASHME: undo accidental commit of timex.h