Use MYSQL_VERSION.