Fix a compilation error on x86 systems