Re: mawk really as an alternative to gawk? (was: Re: The alternative for "update-alternatives" ---> libalternatives)