xrandr: awful script for forcing 1920x1200 to external monitor