diff --git a/src/aui/auibook.cpp b/src/aui/auibook.cpp
index d001283804..cef21576f0 100644
--- a/src/aui/auibook.cpp
+++ b/src/aui/auibook.cpp
@@ -20,6 +20,7 @@
 
 #if wxUSE_AUI
 
+#include "wx/settings.h"
 #include "wx/aui/auibook.h"
 #include "wx/aui/tabmdi.h"
 #include "wx/dcbuffer.h"
@@ -128,6 +129,10 @@ wxAuiTabContainer::wxAuiTabContainer()
     m_selected_bkpen = wxPen(selectedtab_colour);
 }
 
+wxAuiTabContainer::~wxAuiTabContainer()
+{
+}
+
 void wxAuiTabContainer::SetNormalFont(const wxFont& font)
 {
     m_normal_font = font;
diff --git a/src/aui/tabmdi.cpp b/src/aui/tabmdi.cpp
index d57da77f66..4f054a3d4e 100644
--- a/src/aui/tabmdi.cpp
+++ b/src/aui/tabmdi.cpp
@@ -26,6 +26,7 @@
 
 #if wxUSE_MDI
 
+#include "wx/settings.h"
 #include "wx/aui/tabmdi.h"
 
 #ifndef WX_PRECOMP