fixed segfault in simpleminer