language changes: (continued) std::libc -> libc for win32-specific codes.