Addressed an issue that prevented us from closing OpenCOR using Ctrl+Q on Linux.