Make Travis CI build pass