static int GetPageId(wxTabView *tabview, wxNotebookPage *page)
 {
-    return static_cast<wxNotebookTabView*>(tabview)->GetId(page);
+    return wx_static_cast(wxNotebookTabView*, tabview)->GetId(page);
 }
 
 // ----------------------------------------------------------------------------