add formatting of guifont for linux
use zenburn by default