Fix running CI on SBCL 1.0.57