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);

[tmbinc]

Big file support is fixed in #30 , but the offsets are not zero-padded (but should work correctly even if they are large.)