gpg now uses key ids instead of uids to cope with Debian bug #739907