linux: use xrandr for all display mode changing