Use x86_64 in the config