Maybe it didn't segfault after all, just need to run all tests...