02_use_bison.diff: this is already the default behaviour in Debian, so this
		   patch is not needed anymore
03_a56_prefixes.diff: this patch will be done by renaming stuff in debian/rules
