Build the leap seconds header for travis