various improvements in greenlet plugin