Seemingly, the elements of argv on Windows are a different type with respect to Linux. A patched version of getopt.py has to be used on Windows in order to match variable types.
