mpost is now tun twice; seems to be necessary for some MetaPost pictures.