Really fix the slime-recompile-all-xrefs