fix win64 build breakage from 55e2ee0391a9e499ad92d5354fe1c0a9abae4f51