Hi It took me a while to understand the issue here, but I agree with Norbert: the current patch causes unnecessary inconveniences for other users, including CJK users who use the "CJK" package (latex-cjk-* Debian packages). BR -- Danai