the unique_names option doesn't really change the File name
on server side. the MediaWiki request param wpDestFile did the
work we need!