Mea culpa; avevo controllato 2 volte che la versione fosse quella giusta, invece mi sono accorto che guardavo la versione php e non mysql.

La versione mysql è la 4.0.20; grazie mille per avermene fatto rendere conto!