fix list_keys_stream.ml