Eu resolvi o problema tangencialmente descobrindo que o programa Red Hat Developers permite que você baixe e instale o RHEL Server gratuitamente - desde que você não use o computador resultante para produção. Então eu instalei o RHEL Server 7.3, e não tive esse problema.