TRAVIS: fixes