added opentk.dll.config, fixing linux issues