Diff sbcl-2.3.7 with a sbcl-2.3.8

Thank you!