guiframe: work around for crash under OS X...