Specify script of Travis CI explicitly