previous compilation options over to runtime options, breaks the
user interface, and fixes a bug or two in the table-of-contents
generator.