official gnu configure scripts and a couple of other places. Add an example noisy, loud and annoying placeholder for /usr/bin/objformat if it turns out to too much trouble to be gone. It is not connected to the build yet.
