Another try to fix Travis CI config file.