Re: [PATCH] pacsort: fix short version option