Closes #1611: actually use "argv" argument again in cmdline.main.

--HG--
extra : rebase_source : 92d226081014b6afbb3f832aabc5c60ffaafac68