fixed timing for SBCL