We don't really use gthread directly