Unix shell scripting:  C shell/Awk