Double-include fails because of over-eager cycle detection. Disable check for now.