Il giorno mar, 12/01/2010 alle 11.21 +0100, Guillaume Lelarge hascritto:> Did you re-run ./bootstrap? if not, try to do so.
I didn't. That fixed the problem.
Thanks again,Giuseppe