[Bug 1086789] GNOME sets non-integer Xft.dpi