usage() exits now with unknown