Fix mysql_prompt