(hopefully) fix cppchecks problems with #include DEBUGs