Ubuntu 16.04 - all results are "/bin/sh: 1: time: not found ms"

[HumanEquivalentUnit]

First run of this code, all the results are like this:

Run on: Intel(R) Xeon(R) CPU E5-2470 v2 @ 2.40GHz | Ubuntu 16.04.7 LTS | 2020-12-06
C (gcc 5.4.0):            /bin/sh: 1: time: not found ms
C++ (g++ 5.4.0):          /bin/sh: 1: time: not found ms
Cython (cython 0.23.4):   /bin/sh: 1: time: not found ms
... etc.

time is a shell keyword, requires: sudo apt-get install time to add /usr/bin/time binary.

Might need the Makefile changing TIME := /usr/bin/time -f "%e", I needed that to make it work, but if I take that away, it still works.

Logging so that other people can see a fix; might be good to add time as one of the things installed by make install, though I don't know how.