Use MariaDB 10.0.2