Il tipo nel link sul bug report di MySQL dice che ha cambiato il delimiter da ;; a $$ e per lui ha funzionato. Tu hai provato?