update to work with newest lambdabot (5)