Changed .txt filenames

See README.cpp for more information.