linux networkmanager flush dns