work-around for Windows