Change in jenkins[master]: mock build: avoid duplicate src.rpm