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