Не, проблема была не в этом.
Глобал-локал - это слишком просто
. Установку в глобал я не разрешал.
В чем был корень проблемы я так и не понял. Но оказалось, что у меня в localconf.php было две записи об установленных экстеншенах: от Install Tool и от ExtRep'а. Первый пришлось убрать, поскольку он парсился ПХП последним, и фактически заменял правильную запись, а Typo3 не видит этого.