Switched to more recent version of OpenTK