Travis CI config adjusted.