fix mariadb repo for debian