Debian: Install MariaDB