Fix x86_64 compilation bug