Changes to make Travis CI happy.  BSD-based systems don't have this problem!