Sorry, that was a wrong .config file.  Here is the right one, form
the amd64 box: