Use awk's NR, not our own recordcounter