I think I might have found the problem -- a variable that would be uninitialized if the system did not correctly report a default menu font; this would result in a potentially random font being chosen for the menus. I've got a version I'll get to @camilozk to see if ti solves the problem for him.