[slime-devel] ABORT restart in OpenMCL not working