Use mariadb 10.0.13

[Finishes #76166158]