Fix guifont setting on linux.