Fix Travis config file