install correct php extensions