Tweaked settings for REPL launch on Linux