Fix Travis config file... again