use 64-bit off_t for file sizes