A BASH script to sequentially rename files