A bug under windows was corrected