Ruben Van Boxem <vanboxem.ruben at gmail.com> writes: >> fatal error: Checkers.inc: No such file or directory >> compilation terminated. > > This was fixed for me somewhere before or at r126077. Sorry for the noise. It wasn't noise. Your report prompted the fix.