Re: [PATCH] 'make coverage' for pykickstart