Comment 1 for bug 1071979

Iirc, we can't use awk to print potentially very large numbers because on 32-bit systems such numbers don't fit in a single 4-byte integer; that's why we use Perl. I could be mistaken (maybe the problem was elsewhere), but in any case, I have made a similar patch.