Index: brave.c =================================================================== --- brave.c (revision 36985) +++ brave.c (revision 36986) @@ -38,7 +38,7 @@ #include #include #include -#include +#include pcb_brave_t pcb_brave = 0; static const char brave_cookie[] = "brave";