fix configuration on windows