newtype for CPUTime in Agda.Utils.Time
MIN_VERSION macros expect only three arguments when doing make tags