headers_check fix: ia64, gcc_intrin.h