Allowed xterm font size to differ accross machines