Minor changes in improved_fast_endgame_solver.c.