Fixes problem with SuperPutty. Make it the default on Windows.