Rename TRIPLEDALBAEB to TRIPLEDALBAEB.txt