Delete wikisort_int.c