I've now also pushed the change from time.process_time() to time.time() that was necessary to make Python 2.7 happy.

Silly mistake of me to use process_time(), seeing as I looked it up in the docs which clearly state that it's a Python 3 feature.

-- I'm not mad at you, just Westphalian.