try to fix windows problem #594 for Diego