> Any ideas on how to get through or around this?

Use RedHat 7.2. I had no end of troubles doing installs & upgrades with
7.1. 

Andy

> David