Use the i486 headers for amd64.