Valerio Senni wrote:

I finally solved my problems by dist-upgrading Debian to Lenny.Indeed, seems that some gcc libraries needed to be upgraded.

Hi Valerio, I am glad the problem is solved.

Thank you for your help. I hope that my experience will be of some help.

It certainly will. This is the reason why we insist everything takes place on the mailing list: this way the experience of one person is available to others. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it