GUI on Mac: avoid handling command line args twice