gnome-sudoku broken?