Make opt_default() print an error message and exit if the option