win32 porting for ecl_time