Add missing php extensions.