GITHUB-36: Quick patch for windows shutdown on ctrl-c