Replace x86_64 with