Re: #4929: f17-gmp koji target