somehow fixed mysterious segfault