MAMP установить расширение Redis на Mac

Как установить расширение на MAMP (не PRO)?

Я отредактировал мой .zshrc файл для добавления:

export PATH=/Applications/MAMP/Library/bin:/Applications/MAMP/bin/php/php7.2.10/bin:/usr/local/bin:$PATH:/opt/local/bin

Когда я бегу php --ini Я получаю это:

Путь к файлу конфигурации (php.ini):
/Applications/MAMP/bin/php/php7.2.10/conf

Загруженный файл конфигурации: /Applications/MAMP/bin/php/php7.2.10/conf/php.ini

Сканирование на дополнительные
.ini файлы в: (нет)

Проанализированы дополнительные файлы .ini: (нет)

Однако, когда я делаю какие-либо изменения в этом php.ini файл, я не вижу изменений, как будто некоторые «глобальные» изменения перезаписывают его. Я попытался сделать INI недействительным, добавив к нему тарабарщину, но не получил ошибки. После каждого изменения я делаю остановку / запуск MAMP, и кеш PHP отключен.

Так как я имел redis.so прежде я вручную переместил его в папку расширений, но pecl install redis не с этим сообщением:

downloading redis-4.2.0.tgz ...
Starting to download redis-4.2.0.tgz (235,569 bytes)
.................................................done: 235,569 bytes
25 source files, building
running: phpize
Configuring for:
PHP Api Version:         20170718
Zend Module Api No:      20170718
Zend Extension Api No:   320170718
autom4te: need GNU m4 1.4 or later: /Applications/MAMP/Library/bin/m4
ERROR: `phpize' failed

Но phpize -v возвращается

Configuring for:
PHP Api Version:         20170718
Zend Module Api No:      20170718
Zend Extension Api No:   320170718

я имею autoconf установлены.