Похоже, что терминал может использовать стартовые и конечные кавычки вместо кавычек ... Что странно. И неправильно. Почему это делается, выходит за рамки меня, и я не могу придумать решение, отличное от копирования и вставки.