rhea-linearizer compiles but segfaults