patchUserEnv 519 execwrappers.cpp const vector<string> envStrings = patchUserEnv(env, filename); patchUserEnv 588 execwrappers.cpp const vector<string> newEnvStrings = patchUserEnv(env, filename);