Teamcity NTLM Authentication change - admin user lost in transition

Question

I've switched in teamcity from using basic authentication to using NTLM, on an existing installation.

This works fine, except that the admin user didn't have a corresponding NT account, and so doesn't work on the NTLM configuration. (It is easy to roll back, so it is not a stress).

My question is - what is the command to set a user to admin manually - ie modifying the database?

(like this: TeamCity forgotten admin password - where to look?) but changing the role of a user to global system administrator.

Edit - we're using HSQLDB.