Arduino release stable + some OpenTK tails