How to make tilde on windows