Adding a bunch of PHP extensions.