New headers for GNU Flex scanners