Index: uspace/lib/libc/generic/console.c
===================================================================
--- uspace/lib/libc/generic/console.c	(revision 6700ee21f041b24393a08a0078514ea1a569aac3)
+++ uspace/lib/libc/generic/console.c	(revision fe24a52e32df33ad65aa19e51965156f5a123965)
@@ -239,4 +239,10 @@
 }
 
+void console_flush_optional(void)
+{
+	if (console_phone >= 0)
+		console_flush();
+}
+
 int console_get_size(int *rows, int *cols)
 {
Index: uspace/lib/libc/generic/libc.c
===================================================================
--- uspace/lib/libc/generic/libc.c	(revision 6700ee21f041b24393a08a0078514ea1a569aac3)
+++ uspace/lib/libc/generic/libc.c	(revision fe24a52e32df33ad65aa19e51965156f5a123965)
@@ -49,4 +49,5 @@
 #include <async.h>
 #include <as.h>
+#include <console.h>
 #include <loader/pcb.h>
 
@@ -84,4 +85,5 @@
 
 	main(argc, argv);
+	console_flush_optional();
 }
 
Index: uspace/lib/libc/include/console.h
===================================================================
--- uspace/lib/libc/include/console.h	(revision 6700ee21f041b24393a08a0078514ea1a569aac3)
+++ uspace/lib/libc/include/console.h	(revision fe24a52e32df33ad65aa19e51965156f5a123965)
@@ -53,4 +53,5 @@
 extern void console_putstr(const char *s);
 extern void console_flush(void);
+extern void console_flush_optional(void);
 
 extern int console_get_size(int *, int *);