Use generic system for installing php extensions