Hello there The problem becomes resolved after an apt-dist upgrade
Since I have not tryed to upgrade during a long period, I can not say when it was resolved. Please close the bug report Greetings Pedro -- _____________________________________________________________ Pedro Celestino dos Reis Rodrigues Departamento de Química e Bioquímica Faculdade de Ciências da Universidade de Lisboa Tel: 21750000-28619
