Update MariaDB to 10.0.12