fix broken 64bit build