Fix #4702, make setup work on windows