gawk: lib32disabled=yes.