Fix broken Travis CI build.