**********************************************************************
dcgui might dump core when being closed. However this has no impact
on functionality as well as saving settings. This is a known problem
and being worked on.
**********************************************************************