strange bug under win32