fix problem on file size with 32bits platform