Index: tools/gdb/utils-gdb.py
===================================================================
--- tools/gdb/utils-gdb.py	(revision 9987d798e132e92c92b98630dd5f1a7de52adbd4)
+++ tools/gdb/utils-gdb.py	(revision ff79d5e0c1b8084b524b4eea26224b2ddde2512a)
@@ -59,5 +59,5 @@
 					 thread_ptr = gdb.lookup_type('struct $thread').pointer(),
 						int_ptr = gdb.lookup_type('int').pointer(),
-				   thread_state = gdb.lookup_type('enum coroutine_state'))
+				   thread_state = gdb.lookup_type('enum __Coroutine_State'))
 
 def get_addr(addr):