Compilation fix for x86_64