Fixed compilation problem in the DEBUG nightly. The problem was triggered by !67323 (merged).
CC @tbold @christos