Don't serialize deprecated config options
Shutdown from GUI (ref #192)