[PATCH] Fix large core dumps with a 32-bit off_t