Removed duplicate declaration of make_timestamp in event-sched.h (also
declared in util.h).