TODO: get OpenTK.Input to work