[slime-devel] Turning off ECL Threading