fix mono crash when opening Options dialog