clisp: set correct prefix; misc tweaks.