fix avila-wdt compilation failure (#6948)