Make Dirk's suggested edits to build/check defaults.

Fixes #64.
Closes #65.