header file changes


git-svn-id: https://gnunet.org/svn/gnunet@33466 140774ce-b5e7-0310-ab8b-a85725594a96
this is not an issue: no break and just print info


git-svn-id: https://gnunet.org/svn/gnunet@33467 140774ce-b5e7-0310-ab8b-a85725594a96