Restore to OpenTK