Use awk by default

Make it so that GNU Awk is not unnecessarily a requirement, which
mostly affects BSD.