Fix MYSQL version magic.