fix api4gui
Merge branch 'experimental' of github.com:SuperWang/leanJazz into experimental