mysterious segfault is gone