Adding SBCL timings.