More tests for the main program.
bug fix: more tests caused a segfault (in getopt).