use C locale for awk and sort