A simple script to change the filenames