Robust mptopdf for newer Ubuntu

Newer Ubuntu releases don't have mptopdf by default;
this commit copies over this dependency.