fixup! Use high resolution time API.