3 @@ -611,7 +611,7 @@ int main(int argc, char *argv[]) {
7 - c = getopt( argc, argv, "c:" DEBUG_OPTION "f:g:h:i:lp:q:" REPLAY_OPTION "st");
8 + c = getopt( argc, argv, "c:" DEBUG_OPTION "f:g:h:i:lp:q:" REPLAY_OPTION "stD");
12 @@ -660,6 +660,10 @@ int main(int argc, char *argv[]) {