Pdffont: rename ARIAL.TTF to ttf