Re #8334. Redhat is still unhappy.