Worked around a gtkmm initialization bug