we need wxGTK-2.8.12