--- terminal.c.old	2008-02-21 09:18:12.154614691 +0000
+++ terminal.c	2008-02-21 09:18:02.157614938 +0000
@@ -641,7 +641,7 @@
 int
 rl_crlf ()
 {
-#if defined (NEW_TTY_DRIVER)
+#if defined (NEW_TTY_DRIVER) || defined(__MINT__)
   if (_rl_term_cr)
     tputs (_rl_term_cr, 1, _rl_output_character_function);
 #endif /* NEW_TTY_DRIVER */
