make sure ihat_supported_formats is always defined