Это была ошибка, которую исправили и выложили. Возможно при распаковке из архива файлы не были заменены.
А SDKManager не стоит использовать - пакет настроен на использование текущей версии и для новых требует специальной доработки.