Fixing display resolution problems using xrandr