Use correct name for <big-endian-unsigned-integer-4byte>.

Noticed this when looking for code examples. The OpenPGP module isn't actually built.