Fix linux driver scaling
Scaling doesn't work with the linux DisplayLink driver. This makes it impossible to use displays of different DPI together. By scaling I mean, for example:
xrandr --output DVI-I-1 --auto --scale 2x2
HiDPI monitors arer very common on notebooks now. And this is a show stopper.