Refactor mysqlctl for new GTID.