small fixes on windows