Symfony approach to installing php extensions