Rename solution.out.txt to solution.out