Add files missing from previous commit.

It's really nice to have travis-ci back online, but time for a git precommit hook.