make it work on windows, too