Dolphin builds fine with wxgtk in our repos now