awk trick to avergae numbers