Diff sbcl-2.3.8 with a sbcl-2.5.0

Thank you!