Fix Travis CI scripts