K 10 svn:author V 4 bapt K 8 svn:date V 27 2019-09-12T15:50:14.509405Z K 7 svn:log V 91 Get the readline header from the installed header instead of the from the source location. END