Revised Travis CI configuration