> Could I persuade you to use a name more... pronounceable than > elf32bimipn32.sh? How about changing elf32bimipn32.sh to elf32bmipn32-defs.sh?