Changed examples to use OpenTK