port default renderer to OpenTK