Actually using TXT_EXTENSIONS when looking for the version.txt file