[Bug 1042063] Dolphin always crashes when it is closed