Latest MariaDB repo data seems to be incompatible with Debian 9