php extensions for mavericks - redid and opcache