upgraded to MariaDB 10.0