(XDK) Now uses frontend_console.c too