[Reviewer: Ellie] Fix crest issue #162

Not sure about the name monotime - monotonic_time would be better