New attempt to fix Travis CI config file.