bnoordhuis: installing hrtime