hopefully fixed the segfault problem on virgo01