added code to renumber.sh to abort on a name collision during renumbering