Better support sendfile() with 32bit off_t