[slime-devel] `slime-swank-port-file' format string