fix Travis CI YAML config file