Exit properly when unknown options are given on the commandline.