Fix warden_ctl

Change-Id: I30472de369159af18c2a496b331ff92b7e761948