Wrong argument typedef sizes passed to pointer *file

The expected size of file arguments is 32 bits long but was passed an 64 bits long argument (file_size, section_size, section_offset and section_addr)