DejaVu replaces the Vera font