Re: [OS-BUILD PATCH] Fix dist-srpm-gcov