gpg-interface: allow use of a custom GPG binary