I think we need to be a bit more careful here, since some scripts are
useful to (re)generate source files, update or fix them.
None of these need to be user installed. At least on Unix platforms,
“make install” does not install them anywhere, AFAIK.