[PIE](https://github.com/php/pie) (PHP installer for extensions) is now stable, so we could consider using it to install native extensions in the docker image.