13:39:53pfdietzThe specific name of the one I used is 1.3.1.debian
13:40:04pfdietzCould be different somehow from 1.3.1
13:48:36pfdietzThey picked up 1.3.1 on Jan 2, 2016. If they got it from the sbcl repo rather than the release, something could have been done between the release date of 1.3.1 and that time. I should try SBCL's 1.3.1 and 1.3.2 binaries.
13:53:20pfdietzI can solve my personl problem by building with a more recent sbcl.
14:00:28pfdietzdefconstant for object values seems inherently problematic to me anyway. There's nothing stopping a program from modifying the object. Only the binding of the object to the variable is constant.