After installing gawk and updating the system (including grub), the issue reported with update-grub is resolved.
After installing gawk and updating the system (including grub), the issue reported with update-grub is resolved.