OpenTK stubs updated