Correct extension of awk script