double-included gpgtools module