Fix new checklibs feature to support both mawk and gawk variants of awk
Related merge request !2064 to merge test_both_install_uses
merge request
23 jobs
50 minutes 26 seconds, queued for 2 seconds