TRAVIS: fix script