add procedure about how to downgrade pgf