readline 32bit for Linux/64bit