Fixed generation of sese.r with -make-sort option.