Fix a bug with mdp not properly detecting a SIGINT on gpg.