Replacing the mpk file with the one mentioned in this comment solved the segfault for me: https://bugs.launchpad.net/ubuntu/+source/funguloids/+bug/654604/comments/3
Replacing the mpk file with the one mentioned in this comment solved the segfault for me: https:/ /bugs.launchpad .net/ubuntu/ +source/ funguloids/ +bug/654604/ comments/ 3