[slime-devel] patch for 64-bit OpenMCL