Hallo Bernd,
danke für die Tipps. Leider bringt der Switch -e, Imagetool auch nicht dazu, die ursprünglichen *.bmp's einfach mit dem neuen zu überschreiben, sondern erzeugt trotzdem ein *.mip
.
Hab die Tools mal probiert, aber keine entsprechende Funktion um Dateien auch in Unterverzeichnissen umzubenennen, gefunden.