headers_check fix: ia64, fpu.h