ide: fix compilation errors when DEBUG_IDE is set