http://stackoverflow.com/questions/1224766/how-do-i-rename-the-extension-of-a-batch-of-files
rename .cc .c *.cc
How do I rename the extension of a batch of files?
http://stackoverflow.com/questions/1224766/how-do-i-rename-the-extension-of-a-batch-of-files
rename .cc .c *.cc