Add more php extensions