fix for x86_64 building