Correct GVim font size for Linux