enableTimingStats():
  bring back -Rghc-timing output when compiled with >= 4.11
  (was >= 5.05, which looks unnecessarily restrictive.)