Rename 11397-2.jl to 11397-2.txt