darcs patch: Re: Readline readHistory & writeHistory API broken