Rename stl to stl.txt