Removed libgmp-dev:i386.  Didn't fix problem.
Make some symlinks so PHP can find the weird place where Ubuntu puts them.