Attempt to fix Travis CI build