*
* 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 <stdlib.h>
#include <algorithm>
+#include <stdio.h>
+#include <string.h>
static const int HEADER_SIZE = 4096;
static const int HEADER_MAGIC = 0xEB021026;