Handle coq-prog-args