Make readline write out the command prompt again, fixes a double-prompt on old versions of readline