default eof-error-p in read-char* to T (bug reported by Xu Jingtao)