think I fixed a bug when xrandr reports screen like 1280x800_60.00 instead of just 1280x800