> > 4031 ran but got the following message at the end of the make install. > > || Unable to compile gb.desktop > OK! It should be fixed in revision #4032. -- Benoît Minisini