Parameters for Travis CI