Implements the time.ext.mk extension
Implements the history.ext.mk extension