Another Travis CI configuration update (attempt).