Am 09.01.2014 09:17 schrieb "Peter Breitenlohner" <peb@mppmu.mpg.de>:
> now fixed in TeX Live SVN r32613.

Great, thank you.