Re #5422. Another file to skip trying to load.