linenoise for Deimos