il problema tra l'altro non si ripresenta più con la versione che è in cvs e che dovrebbe uscire fra non molto.