*** ../bash-4.3-patched/shell.c	2014-01-14 08:04:32.000000000 -0500
--- shell.c	2014-06-17 10:02:09.000000000 -0400
***************
*** 74,77 ****
--- 74,78 ----
  
  #if defined (READLINE)
+ #  include <readline/readline.h>
  #  include "bashline.h"
  #endif
***************
*** 910,913 ****
--- 911,919 ----
    fflush (stderr);
  
+ #if defined (READLINE)
+   if (RL_ISSTATE (RL_STATE_TERMPREPPED) && rl_deprep_term_function)
+     (*rl_deprep_term_function) ();
+ #endif
+ 
    /* Do trap[0] if defined.  Allow it to override the exit status
       passed to us. */