David Naylor : configure: Explicitly set host_cpu for 'amd64'.