[slime-devel] Patch for customizing slime-connect port