Back to previous Travis CI settings