prova con mysql323
credo si riferisca alla versione di mysql in cui esportare (cambia un po' la sintassi quindi in linea di massima se usi la versione più vecchia dovrebbe essere compatibile),
o in alternativa le scarichi entrambe ( mysql323 e mysql40 ) così vai sul sicuro.