SeExpr: clean the plugin to pass in v1.0