/graphics/metapost/contrib/tools/