Replace amd64 with x86_64