Volker, I found the problem. An upgrade of gcc on snab had changed the way include paths are done. I've adapted the checker gcc wrapper script to cope. Hopefully we'll start getting checker results again now (will take a while, as it is slow to build). Cheers, Tridge