Setting judgehost password programatically, via MariaDB cli client