args: exit on unknown options