2012/12/16 Paul Isambert <zappathustra at free.fr>: > doesn't (both with TL2011); so perhaps the problem has really been > fixed, except TL is not 100% up to date. Binaries for TL are rarely updated via tlmgr. Best Martin