Delete rnd_small_int.dvi