use types.h and int_types.h with __COMPILER_INT64__ in kernel source. The version of the binaries get 1.16.4.