Revised Travis CI configuration.