The microtime package currently fails to work

[robogeek]

Running npm install with Node.js v18.5.0 results in a huge error output while installing microtime. The current version of microtome, v3.1.0, works fine.