names of X-fonts used by gui fixed for newer xservers