USE_TIMINGOUTPUT should be controlled from setup.py.
In this commit, I'm trying something elegant that's supposed to work,
but the "build" command actually fails for some reason.
Hence the commit, and I need to fix it in future commits.