I think we don't pass them from Nailgun for RedHat. What's gonna be in this case?