Re: GPG problem: bug report needed?