update default guifont to Monoco:h13 in Mac OS X.