replace bitmap Metafont by scalable MetaPost