DOMjudge also works with MariaDB