[Bug 803723] New: Need xrandr 1.4 to configure DisplayLink devices