Add a workaround for butt ugly fonts in OS X Mavericks