Add 64-bit binary of readfile.c