Re: [Pki-devel] [PATCH 040] Silence no-name-in-module error