Fixed issue#1094: Segmentation fault when attempting to use branch/path coverage