Correct name of solution file