rename minmax_int.c to runtot_minmax_int.c