Nick, weren't you looking at the Debian include directories when setting up build bots? Did you commit all of the fixes?
Nick, weren't you looking at the Debian include directories when setting up build bots? Did you commit all of the fixes?