Add the preference parameter to openpgp header. Closes #3878.