should set argc at proper position; close #1264