Fix incorrect header size on 64-bit platforms