More MinTTY tweaking.