prevent cluttering gcov-options with local options
Merge pull request #53 from ptomulik/gcov-local-options

Prevent cluttering gcov-options with local options