Use __OFF64_T_TYPE as appropriate