use either readline or pyreadline