erroneous 0 in 64 bit sync_file_range