Targeting new OpenTK