change awk print to awk printf