The Travis CI file is deprecated. It may be better to recreate it from scratch, using the new installation instructions.