[slime-devel] patch for openmcl backend