use gnu readline