adapt to funnyqt 0.4.13 (not finished)