Delete prog.awk