<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I can confirm that. The same problem happens to me, even though with mumps and metis obtained from official site this doesn't happen.</blockquote>
<div><br></div><div>Hmmm, which versions are you referring to for mumps+metis from the official site? Last time I checked, mumps couldn't link to the newest metis. </div></div>