hacks to make simgui work with the gumbo branch