fix guifont setting for linux.