GitHub #164: Tighten up exit semantics to allow normal exits
GitHub #166: Work on README.build