build-flex: allow build to work on systems without flex * build-flex-1-fixes.patch: Also patch generated scan.c file so that build will succeed on systems that don't have flex installed.