fix #40 problem on MS Windows