Invoke pci_db2c.awk as an argument to awk instead of letting the shell run it. The shell looks for awk in /usr/bin, the path from the shebang line. However, there exist systems with awk in /bin, namely archlinux.