Re: dump-image should not make CLISP images executable