helmc.py recognizes helmc1 segfaults