Fix compilation errors with linenoise