use 64bit rand for sync_file_range