Write out final matrix_users.json at normal exit time, not in an END{} block
No default config file, so we can't accidentally start up the wrong one