Fix wrong type of stdin_stream