Clisp: workaround to remove ciompiled files.