revise gc_mark_gray_list() not to cause SEGV on Ubuntu 32bit