SBCL updated to 2.5.2 in d2d1dcd1dd37470b112d57e8e48e20b9e4f5b41b (and
a few other commits with some fixes that were required for some
libraries to compile with version 2.5.2).
Closing.