FIX Travis CI script