Correctly renaming the Solver file