maybe the segfault is fixed now?