make Windows happy