we are now using the right version of jline

i think