Add MariaDB pin.