Handle unknown options

Unknown options in the command line arguments are passed to 'sh'. Fix
this by terminating the program on an unknown option.