All'interno del file php3.ini, sotto Dynamic Extension ho trovato solo estenzioni dll (quindi solo per windows). Come si fà ad aggiungere estenzioni .so?