Installation of mongo php extension