Executable core images work on SBCL, Clisp and CCL