Rename batnorleans5.abc.abc to batnorleans5.abc

corrected file extension - 1 .abc too many