fix for x86_64 machines