bootstrap: Cope with case changes in CentOS 8 repo names