Distance restraints cause segmentation faults