Use use 'getCPUTime' from 'System.CPUTime' for debug timing purposes,
as the 'old-time' library in not present in the GHC tree any more.