Исправление Evgueni, 07.04.15 09:47 (текущая версия) :
У него старая версия MikTeX < 2013 года, где этой проблемы нет. Это относительно недавняя регрессия.
Исходная версия Evgueni, 07.04.15 09:46:
У него старая версия MikTeX < 2013 года, где этой проблемы нет.