Travis-CI: some work on trying to get our script to work with OS X (#363).