Fix silly bug in launch.lisp, trim down distribution slightly.