fix issue with corrupt mysql.proc table