XSD: Handle multiply-included files better.