correctly imports DocoptExit