Bug#628247: update-alternatives --set awk /usr/bin/gawk

[Balamurugan Mahendran]

I gave the below command before "./configure" and got this issue fixed.

update-alternatives --set awk /usr/bin/gawk

Thanks,
Bala