@@ -1,4 +1,4 @@
-#!/bin/awk -f
+#!/usr/bin/awk -f
BEGIN {
hextab ["0"] = 0; hextab ["8"] = 8;
hextab ["1"] = 1; hextab ["9"] = 9;