scripted utility for renaming batch files