[PATCH] Run gawk on config/known-dwarf.awk.