Compilation from x86_64