I applied a modified version of your patch as
d2cfa7a115c44d922edd40ba014ef8b86086cd7a because on the master branch
sbcl-nasdf was at 0.1.6, not 0.1.5.