Big files and 32 bit machines

[Theowoll]

I have to use the gcc -D_FILE_OFFSET_BITS=64 flag to make it work for big files on a 32 bit machine. I also replaced

printf("%s: %08llx\n", filename, pos);

by

printf("%s: %016llx\n", filename, pos);