[Reviewer: Ellie] Fix crest issue #162

You shouldn't need the import monotime here