Patch to use proxy in environ settings for shell commands