Fix warning about unused read_prompt_handler