add back the include() function to awk (extracted from the old awx patch)