[slime-devel] OpenMCL backend broken by OpenMCL 0.14.2