config.gcc (ia64-*-*): Set extra_headers.