As discussed earlier, I removed kvx_elf64_linux_vec, fix the handling of unique symbols by using has_gnu_osabi instead of overwriting e_ident, change (unsigned) long long into {u,}int64 and at some place int by int32_t. Thanks, Paul