Patch is OK, but for consistency, shouldn't the externals be put at
the start of wcmdmain.c, just after the inbuilt[][]10]?
This way, you could see directly which command is built-in, and which
is external.