Fix toc() to compute the real (not CPU) time.