Karl, could you please apply the attached patch to the current TeXLive tree? r62013 (with verbose ChangeLog entry as requested :) Thanks to all!!