XXX Remove nawk(1)

@@ -52,11 +52,11 @@
 extract_section()
 {
         typeset skel="$1"
         typeset secname="$2"
 
-        nawk <$skel -v name=$secname -v skel=$skel '
+        /usr/xpg4/bin/awk <$skel -v name=$secname -v skel=$skel '
             /\/\* [^ ]* [^ ]* \*\// && $3 == name {
                 if ($2 == "BEGIN") {
                         printing = 1;
                         printf("# %d \"%s\"\n", NR + 1, skel);
                 } else {