2011/9/29 Frédéric Delanoy <frederic.delanoy at gmail.com>: > Apparently a preliminary "make clean" seems to fix that issue. Sorry > for the noise. > Dan, did buildbot had those issues or does it do a 'make clean'? The buildbot always starts with a clean directory, so it won't catch problems like that :-(