bash glibc readline