I'm happy to report the sdk built successfully, after I installed g++ as suggested, and then also (re)installed libmpc-dev (prompted by FATAL mpc.h not found, in the build log). I'm not sure why because I had gotten all the required packages at once, but anyway, now its all there and working.
thanks!
cheers- Scott