[Bug 803723] Need xrandr 1.4 to configure DisplayLink devices