MariaDB 10.11.7 Service incompatible with Sandbox mode from 10.11.8+

[inversed]

It looks like, right now, requesting the MariaDB 10.11 service is bringing in version 10.11.7. However, version 10.11.8 (and a variety of other versions) introduced a new feature that adds a comment to the DB dump file if using sandbox mode on the server (for example, when exporting from platform.sh or similar).

The comment looks like this:

/*!999999\- enable the sandbox mode */

Documentation

• Excerpt: "The change is happening / has happened in MariaDB 10.5.25, 10.6.18, 10.11.8, 11.0.6, 11.1.5, 11.2.4 and 11.4.2"
• Blog post: https://mariadb.org/mariadb-dump-file-compatibility-change/
• Release notes: https://mariadb.com/kb/en/mariadb-10-11-8-release-notes/

The fix is pretty much either:

• Update your MariaDB
• Or delete the line from the SQL dump (manually or in your workflow)

In the interim, what would be the best approach to updating the service version ahead of an official updated release of Docksal's mariaDB 10.11 service?