fix TravisCI configuration.