Some PHP extensions built for MAMP.