[slime-devel] Using SLIME with several CMUCL flavors