Fix compilation on x86_64