alla fine mi sa che mi conviene installare il php dai sorgenti e ranzare via quello con rpm. Sembrerebbe più malleabile .. o no?