Mysql gtid utility