This is one of the reasons that developing on your production OS is something of a best practice. Not specific to SBCL at all, but this general problem of dependencies not quite matching can bite you in a lot of ways.
People forgot this lesson when macbooks got popular for development, then had to relearn it by upending the ecosystem into containers.
It's also a reason for distributing software under a Free license. If people who use your software want to try running against a different libc or different versions of other dependencies, why not let them? You can always say you only support binaries that you distribute.
People forgot this lesson when macbooks got popular for development, then had to relearn it by upending the ecosystem into containers.