===> Cleaning for gawk-4.0.1nb2