FAIL: mplibdir/dvitomp.test That should be fixed now, thanks to peb. I guess it's better to wait with an update to wheezy until tl 2013 has been done, right? Yes. Unless there's an overriding need to update. Thanks, k