Making sure php extensions are loaded