Oops, renaming GPG to PGP