updated bootstrap.lisp for release