add pinning for mariadb repo in case of newer versions in debian official repo