New mysql

MySQL 4.0.8-gamma has been released. As usual, I upgraded to this new version right away. So far, nothing is broken. I suppose that’s always a good sign.