Fix wrt-radauth compilation (#3282)