deb7: quick update for mariadb.