fixup "add installation option demo_users"