Update Bufbomb_solver.c