fix RedState pickling