Always use the native platform for OpenTK

This fixes #2416 by preventing SDL2 from being used in OpenTK.