Add legacy version of libmpc

* Track libmpc 0.8.1 on GCC infrastructure.