Patch from Peter Benie.
* Specify #define YY_NO_INPUT, which avoids an unused function warning.
Patch from Peter Benie.
- * Update some copyright notices.
+ * Update copyright notices.
+ * Upgrade licence to GPLv3+.
Debian packaging:
* Honour dpkg-buildflags.