Debian isn’t serious with calling the gpg 2.x-binary gpgv2, is it?