Quickfix 2

Three minor patches.  The one we discussed, adding missing fauxbox dependencies to dist.ini, is the second.