Add optional output of timing information