Ignore some warnings in wxWidgets headers