Reenable wse.lisp