small fixes for windows