* ./modules/gui/win32/preferences.cpp: the Win32 interface doesn't use the
    old module linked list anymore.