*
* GNU Radio is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 2, or (at your option)
+ * the Free Software Foundation; either version 3, or (at your option)
* any later version.
*
* GNU Radio is distributed in the hope that it will be useful,
#include <gr_local_sighandler.h>
#include <stdexcept>
#include <stdio.h>
+#include <string.h>
gr_local_sighandler::gr_local_sighandler (int signum,