linenoise fixes for Linux build