32 bit: Fix printf off_t.