Added option to enable php extensions