Get OpenPGP keys from another source that the binaries distribution