simplifying main.cpp to make it easier to disable linenoise