Fix broken build on DEBUG configuration