some tools on windows