Fix Travis CI build.

See #8.