headers_check fix: linux/ipx.h