Fix base_name of argc' symbol to match its name

Author: chrisr-diffblue

src/ansi-c/ansi_c_entry_point.cpp

@@ -260,7 +260,7 @@ bool generate_ansi_c_start_function(
       {
         symbolt argc_symbol;
 
-        argc_symbol.base_name = "argc";
+        argc_symbol.base_name = "argc'";
         argc_symbol.name = "argc'";
         argc_symbol.type = signed_int_type();
         argc_symbol.is_static_lifetime = true;