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