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