Set the right font for different GUI systems, or they'll complain