wcch(1) on Linux

The text a5f866e6e21e, as Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster) shipped it.

generate C headers from executable files

wcch(1) on Linux now