mariadb: update to 10.0.15.