make things work on Windows