Mea Culpa. In attempting to install the prerequisites libmpc-dev libmpfr-dev libgmp3-dev I ended up building from the source code for these projects. Later, back to square one, I simply installed them using apt-get. Then the build worked. Grovel, grovel, my apologies to those whose time I wasted ;=( Steve