issue #972: Compilation Issue
readline vs. linenoise vs. dummyshell: next try
readline vs. linenoise vs. dummyshell: finally...