Fix GVim font size for linux