remove dependency on mptopdf, which is no longer part of the latex distribution of Ubuntu