Fix extract_filename function

[anutosh491]

If the extract_filename function is going to be editing argv, then it also needs to make a corresponding change to argc.

I thought this would work right out off the bat when I was using it for xeus-cpp but it ends up giving me errors (shown in this PR https://github.com/compiler-research/xeus-cpp/pull/153)