jenkins segfault fix