pothos-gui: build fixes from last merge