vtysh
vtysh_cmd.c
vtysh_cmd.*.c

# does not exist anymore - remove 2023-10-04 or so
extract.pl