awk: fix a case with multiple -f options. simplify -f file reading.