fix eiffel_sudoku.ecf