Merge pull request #74 from tkorvola/misc
authorDavid Griffith <dave@661.org>
Wed, 28 Mar 2018 11:09:44 +0000 (04:09 -0700)
committerGitHub <noreply@github.com>
Wed, 28 Mar 2018 11:09:44 +0000 (04:09 -0700)
More build & sfrotz fixes


Trivial merge