/gnu/store/scis665svf1xy0ci98p374yx76fvrrp1-sbcl-db3-0.0.0-1.38e5ad3.drv