This is turned off by default, but can be enabled with -Dprofile, in
which case output goes into ./.profiler.