changed skeleton.lisp to enable safe terminate