Fix up GVim font for Linux