That might be a memory corruption problem, could you try to get a valgrind (https://wiki.ubuntu.com/Valgrind) log for it? -- gnome theme manager crashed (but not during the gnome standard session) https://launchpad.net/bugs/79583