Thanks for your responses. Unfortunately I am not that proficient in using gcc or debugging tools in Linux yet...but I will try to do so. Apparently however, J.M. knows about the problem, so I will let him solve it and wait until 1.3.4 in the near future.
Alberto