may be there are different implementations of awk, this will help me to track down the issue...