revert Travis CI config