doc: update MariaDB version