hopefully fixes cppcheck on jenkins