ericsu-RunDarwin.c++, ericsu-RunDarwin.out: updated (2 bugs fixed, tests added)