MAMP: ¿cómo compilar php o actualizar Imagick para usar el convertidor webp?

Estoy usando MAMP PRO 4.2 y php 7.1.6 con Apache. El problema es que no puedo convertir imágenes de jpg o png a formato webp usando php language.

Primero, traté de usar la función nativa imagewebp() ( enlace ). El error es Call to undefined function imagewebp()

La búsqueda de Google dice que necesito:

1. Habilitar configuración de GD : está habilitada (verifiqué en phpinfo() )
2. Hacer brew install webp : no ayuda, lo instalé
3. Descargue y recompile php con la opción --with-vpx-dir=DIR o brew reinstall php72 --with-webp : ¿cómo hacerlo en MAMP?

En segundo lugar, usé Imagick lib:

$im = new Imagick($img_in);
$im->setImageFormat("webp");
$im->writeImage($img_out);

Pero error otra vez, dice ImagickException: Unable to set image format .

$ php -i | grep ImageMagick
Imagick compiled with ImageMagick version => ImageMagick 6.9.6-2 Q16 x86_64 2017-07-03 http://www.imagemagick.org
Imagick using ImageMagick library version => ImageMagick 6.9.6-2 Q16 x86_64 2017-07-03 http://www.imagemagick.org
ImageMagick copyright => Copyright (C) 1999-2016 ImageMagick Studio LLC
ImageMagick release date => 2017-07-03
ImageMagick number of supported formats:  => 229
ImageMagick supported formats => 3FR, A, AAI, AI, ART, ARW, AVI, AVS, B, BGR, BGRA, BGRO, BMP, BMP2, BMP3, BRF, C, CAL, CALS, CANVAS, CAPTION, CIN, CIP, CLIP, CMYK, CMYKA, CR2, CRW, CUR, CUT, DATA, DCM, DCR, DCX, DDS, DFONT, DNG, DPX, DXT1, DXT5, EPDF, EPI, EPS, EPS2, EPS3, EPSF, EPSI, EPT, EPT2, EPT3, ERF, FAX, FILE, FITS, FRACTAL, FTP, FTS, G, G3, G4, GIF, GIF87, GRADIENT, GRAY, GROUP4, H, HALD, HDR, HISTOGRAM, HRZ, HTM, HTML, HTTP, HTTPS, ICB, ICO, ICON, IIQ, INFO, INLINE, IPL, ISOBRL, ISOBRL6, JNG, JNX, JPE, JPEG, JPG, JPS, JSON, K, K25, KDC, LABEL, M, M2V, M4V, MAC, MAGICK, MAP, MASK, MAT, MATTE, MEF, MIFF, MKV, MNG, MONO, MOV, MP4, MPC, MPEG, MPG, MRW, MSL, MSVG, MTV, MVG, NEF, NRW, NULL, O, ORF, OTB, OTF, PAL, PALM, PAM, PANGO, PATTERN, PBM, PCD, PCDS, PCL, PCT, PCX, PDB, PDF, PDFA, PEF, PES, PFA, PFB, PFM, PGM, PICON, PICT, PIX, PJPEG, PLASMA, PNG, PNG00, PNG24, PNG32, PNG48, PNG64, PNG8, PNM, PPM, PREVIEW, PS, PS2, PS3, PSB, PSD, PTIF, PWP, R, RADIAL-GRADIENT, RAF, RAS, RAW, RGB, RGBA, RGBO, RGF, RLA, RLE, RMF, RW2, SCR, SCREENSHOT, SCT, SFW, SGI, SHTML, SIX, SIXEL, SPARSE-COLOR, SR2, SRF, STEGANO, SUN, SVG, SVGZ, TEXT, TGA, THUMBNAIL, TIFF, TIFF64, TILE, TIM, TTC, TTF, TXT, UBRL, UBRL6, UIL, UYVY, VDA, VICAR, VID, VIFF, VIPS, VST, WBMP, WMV, WPG, X3F, XBM, XC, XCF, XPM, XPS, XV, Y, YCbCr, YCbCrA, YUV

Como puede ver, no hay formato WEBP en la lista de formatos compatibles. Entonces, ¿cómo puedo actualizar Imagick para MAMP? ¿Ayudará?