FIX: some WIN32-problems