abi_mips_o32 elibc_glibc gawk kernel_linux mips
