===> Cleaning for gawk-4.1.3