Changed to official OpenTK