Add get_mysql_version() for more reliable versions