Fix args-getOpt.php