Attempt #2 at fixing Travis CI configuration.