Dear Karel, > recently I have found that the option > -src-specials=WHERE ... ... It is known that --src-specials does not always work and sometimes it changes typesetting result. I recommend nowadays to use synctex instead of src-specials. Best, Akira