[slime-devel] SLIME patch: translate a prefix for emacs-side paths to a different prefix remotely