By the way, it seems to happen only after a recent update (May 21). With best regard, Wen-Fong Ke -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://tug.org/pipermail/tex-live/attachments/20130523/85243947/attachment.html>