Re: [slime-devel] OpenMCL backend broken by OpenMCL 0.14.2