ericsu-RunDarwin.c++, ericsu-RunDarwin.out: added