FIX ALL THE TRAVIS CONFIG (again)