Migrate from MySQL 5.6 to MariaDB 10.2