#199 rename mysql and mariadb repos