Re: #5281: Wrong build tag for rawhide