awk: use "long long" as integer type, not "int"