fix type size mismatch (64bit platform)