[OS-BUILD PATCH] redhat: make dist-srpm-gcov add to BUILDOPTS