/graphics/pstricks/scripts/