Stig Bjørlykke wrote: > On 2. jan.. 2008, at 21.20, Németh Márton wrote: > >> Bad news: the make process was not able to finish, here is the error: > > > Did you make clean? It seems to work on my Ubuntu 7.10. > > I started with "make distclean". What is your gcc version? Márton Németh