HOWTO: Upgrade to a major release of Mac OS X with PGP software installed