Added --gui option, to replace '0launch-gui'. This also makes it easier to