You can remove all the -mattr=-flat-for-global when generating checks - I think it was originally a backwards compatibility thing, to avoid having to update loads of manually written checks.