Fixed issue #1094: Segmentation fault when attempting to use branch/path coverage.
Merged pull request #135