/graphics/pictex/addon/