osp / tools.metafontbook